Fred B. Schneider - PDFSEARCH.IO - Document Search Engine

Fred B. Schneider
Results: 85

#	Item
11	Device Driver Safety Through a Reference Validation Mechanism ∗ Dan Williams, Patrick Reynolds, Kevin Walsh, Emin G¨un Sirer, and Fred B. Schneider {djwill,reynolds,kwalsh,egs,fbs}@cs.cornell.edu May 9, 2008 Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2008-05-14 11:05:27 Interrupts Linux Computer memory Direct memory access Motherboard Device driver Memory-mapped I/O Microkernel Operating system Computer architecture Computing Computer hardware
12	Securing BGP Using External Security Monitors ∗ Patrick Reynolds, Oliver Kennedy, Emin G¨un Sirer, Fred B. Schneider {reynolds,okennedy,egs,fbs}@cs.cornell.edu Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-12-22 13:51:13 Routing protocols Border Gateway Protocol Routing Route Views GNU Zebra Router Route flapping IP hijacking Network architecture Internet Computing
13	Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:20:02 Mathematical proofs Model theory Logic in computer science Proof theory Propositional calculus Proof by contradiction First-order logic FO Integration by substitution Mathematics Logic Mathematical logic
14	Logical Attestation: An Authorization Architecture for Trustworthy Computing Emin Gün Sirer Willem de Bruijn† Patrick Reynolds‡ Alan Shieh Kevin Walsh Dan Williams Fred B. Schneider Computer Science Department, Corn Add to Reading List Source URL: sigops.org Language: English - Date: 2011-09-20 03:37:00 Trusted computing Cryptography Hashing Monolithic kernels Next-Generation Secure Computing Base Trusted Platform Module Procfs Kernel Hash table Computer architecture Computing Computer security
15	Chapter 7: Replication Management using the State Machine Approach Fred B. Schneider* Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 13:35:00 Data synchronization Byzantine fault tolerance Cryptography Failure Theory of computation Replication State machine replication Fault-tolerant system Distributed computing Computing Fault-tolerant computer systems Software
16	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
17	Blueprint for a science of cybersecurity \| Fred B. Schneider 1. Introduction Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-04-26 11:36:06 Cyberwarfare Computer security Crime prevention Electronic commerce National security State machine replication Denial-of-service attack Byzantine fault tolerance Side channel attack Computer network security Computing Security
18	Enforceable Security Policies1 Fred B. Schneider Department of Computer Science Cornell University Ithaca, New York[removed]January 15, 1998 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:16:06 Security policy Computer security Public safety Government Automata theory Security Policy
19	Synchronization in Distributed Programs FRED B. SCHNEIDER Cornell University A technique for solving synchronization problems in distributed programs is described. Use of this technique in environments in which processes Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 10:32:44 Markov processes Fault-tolerant computer systems Inter-process communication Process management Phase transition
20	Reasoning about Programs by Exploiting the Environment* Limor Fix Fred B. Schneider Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:28:10 Mathematical logic Propositional calculus Formal languages First-order logic Model theory Entailment Function Constructible universe Logical connective Logic Logical syntax Metalogic

UPDATE